From 3254859fb77fab690af54bde8928dcea5df9809c Mon Sep 17 00:00:00 2001 From: Gabriel Wicke Date: Thu, 6 May 2004 12:41:31 +0000 Subject: [PATCH] settings for tidy extension --- includes/DefaultSettings.php | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index d3dde9c717..72f69f10f0 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -358,4 +358,10 @@ $wgSpamRegex = false; # Go button goes straight to the edit screen if the article doesn't exist $wgGoToEdit = false; + +# Optional: use tidy to make sure the output is sane, switch on by setting $wgUseTidy = true; +$wgUseTidy = false; +$wgTidyBin = 'tidy'; +$wgTidyConf = $IP.'/extensions/tidy/tidy.conf'; +$wgTidyOpts = ''; ?> -- 2.20.1